Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

Vijay Krishna's 2e of Auction Theory improves upon his 2002 bestseller with a new chapter on package and position auctions as well as end-of-chapter questions and chapter notes. Complete proofs and new material about collusion complement Krishna's ability to reveal the basic facts of each theory in a style that is clear, concise, and easy to follow. With the addition of a sol...(展开全部)

"Probability and Measure Theory, Second Edition" is a text for a graduate-level course in probability that includes essential background topics in analysis. It provides extensive coverage of conditional probability and expectation, strong laws of large numbers, martingale theory, the central limit theorem, ergodic theory, and Brownian motion. It is clear, and is presented in a ...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

String Theory in a Nutshell is the definitive introduction to modern string theory. Written by one of the world’s leading authorities on the subject, this concise and accessible book starts with basic definitions and guides readers from classic topics to the most exciting frontiers of research today. It covers perturbative string theory, the unity of string interactions, black ...(展开全部)

This book contains about 500 exercises consisting mostly of special cases and examples, second thoughts and alternative arguments, natural extensions, and some novel departures. With a few obvious exceptions they are neither profound nor trivial, and hints and comments are appended to many of them. If they tend to be somewhat inbred, at least they are relevant to the text and s...(展开全部)

安德瑞·马默，美国南加州大学古尔德法学院法学教授、哲学教授，法学与哲学研究中心主任。英国牛津大学法学博士，师从拉兹。在法律道德性与政治学之间的关系问题上著述颇丰，除《解释与法律理论》（Interpretation and Legal Theory，牛津大学出版社1992年初版，哈特出版社2005年第2版）之外，还著有《实在法与客观价值》 （Positive Law & Objective Values，牛津大学出版社2001年版），《多元主义时代的法律》（Law in the Age of Pluralism，牛津大学出版社2007年版），《社会惯习》（Social Conventions，普林斯顿大学出版社2009年版），《法哲学》（普林斯顿大学出版社2011年版）及大量学术论文。

Awk was created in 1977 as a simple programming language for writing short programs that manipulate text and numbers with equal ease. It was meant as a scripting language to complement and work well with Unix tools, following the Unix philosophy of having each program do one thing well and be composable with other programs. The computing world today is enormously different from...(展开全部)

Discover the power that functional programming brings to your Scala code. This international bestseller has been revised with new exercises, annotations, and full coverage of Scala 3. The first edition of Functional Programming in Scala has helped over 30,000 developers discover the power of functional programming. This second edition is fully updated to Scala 3 and the latest ...(展开全部)